UML-Metamodeling: Towards Formal Approach to Interoperability
نویسندگان
چکیده
We believe that information systems, in order to avoid obsolescence, need to become web-enabled. We have proposed an integrated framework for both Analysis & Design and interoperability of information systems. This framework uses metamodeling in order to propose a new approach to integration of formal methods into modeling processes. We emphasize a systematic use of formal methods –in order to produce specifications and abstract bases of agreement from models and metamodels– together with an evaluation of semantical quality of the produced specifications and bases of agreement.
منابع مشابه
Building platforms for information system interoperability - using a UML-based metamodeling approach
Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. Metamodels are used as a core of two innovative platforms for information system interoperability. The first platform allows to combine formal and informal approaches for both modeling and interoperability of information systems...
متن کاملA UML-based Frameworks for Engineering of Interoperable Information Systems
We propose a four-layer architecture in the context of UML metamodeling. This allows modelers to use a three-step modeling process: 1) giving an informal description of the universe of the discourse (in terms of modeling paradigms); 2) defining a corresponding UML dialect (in terms of metamodels); 3) describing a model of an information system by using the chosen dialect. By using properties of...
متن کاملUsing UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninterpreted” expressions. The Action Semantics proposal aims at filling this gap by providing both a metamodel integrated into the UML metamodel, and a model of execution for these statements. As a future OMG standard, the A...
متن کاملEndogenous Metamodeling Semantics for Structural UML 2 Concepts
A lot of work has been done in order to put the Unified Modeling Language (UML) on a formal basis by translating concepts into various formal languages, e.g., set theory or graph transformation. While the abstract UML syntax is defined by using an endogenous approach, i. e., UML describes its abstract syntax using UML, this approach is rarely used for its semantics. This paper shows how to appl...
متن کاملA Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z
A significant problem with currently suggested approaches for transforming between models in different languages is that the transformation is often described imprecisely, with the result that the overall transformation task may be imprecise, incomplete and inconsistent. This paper presents a formal metamodeling approach for transforming between UML and Object-Z. In the paper, the two languages...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003